#define WFSLAB_FRAC_P	1
#include "wfspan.c"
